In previous works, we presented a modification of the usual possible world semantics by introducing an independent temporal structure in each world and using accessibility functions to represent the relation among them. Different properties ofthe accessibility functions have been considered and axiomatic systems which define these properties have been given. Only a few ofthese systems have been proved tobe complete. The aim ofthis paper is to make a progress in the study ofcompleteness for functional systems. For this end, we use (...) indexes as names for temporal flows and give new proofs of completeness. Specifically, we focus our attention on the system which defines injectivity, because the system which defines this property without using indexes was proved to be incomplete in previous works. The only system considered which remains incomplete is the one which defines surjectivity, even ifwe consider a sequence ofnatural extensions ofthe previous one. (shrink)

Combining modalities has proven to have interesting applications and many approaches that combine time with other types of modalities have been developed. One of these approaches uses accessibility functions between flows of time to study the basic properties of the functions, such as being total or partial, injective, surjective, etc. The completeness of certain systems expressing many of these properties, with the exception of surjectivity, has been proven. In this paper we propose a language with nominals to denote the initial (...) and final sets of each function in a model in order to obtain a complete system for reasoning about surjective partial functions. (shrink)

ABSTRACT Most theorem provers for Classical Logic transform the input formula into a particular normal form. This tranformation is done before the execution of the algorithm or it is integrated into the deductive algorithm. This situation is no different for Non-Classical Logics and, particularly, for Temporal Logics. However, unlike classical logic, temporal logic does not provide an extension of the notion of non negative normal form. In this work, we define a temporal negative normal form for the future fragment of (...) the linear time propositional temporal logic, named FNext. The definition saves as much information as possible about implicants and implicates of the input formula and its subformulas. This property is the novelty of this normal form; for example, in [Fis97] the normal form is guided by the separation property and in [Ven86] the normal form provided prepares the input formula to be treated by a resolution method. Moreover, we also introduce an algorithm having linear cost, which transforms the input formula into a temporal negative normal form. Furthermore, in this work we present a new structure and a set of operators over it that allows us to efficiently manage the information about unitary implicants and implicates contained in the subformulae. (shrink)

Ethical decision-making in school administration has received considerable attention in educational leadership literature. However, most research has focused on principals working in secondary school settings while studies that explore ethical reasoning processes of academic deans have been significantly few. This qualitative study aims to describe the ethical decision-making processes employed by a select group of Filipino college deans in solving ethical dilemmas using the ethical paradigms proposed in the works of Starratt (Educ Adm Q 27:185–202, 1991) and Shapiro and Stefkovich (...) (Ethical leadership and decision-making in education: applying theoretical perspectives to complex dilemmas, 2005) as frameworks for the analysis. Data was gathered using semi-structured interviews and field text was analyzed using deductive thematic analysis. Findings of this study show that majority of the deans chose to share ethical dilemmas involving students and teachers. The findings also show the ethical frameworks of care, justice, and profession as the dominant paradigms utilized by Filipino deans and their preference for adopting multiple ethical frameworks when making their decisions. Most of the ethical dilemmas which the deans narrated relate to their tasks of academic administration such as monitoring student performance, faculty evaluation and maintaining school discipline. Interestingly, only a few dilemmas involving university administrators were expressed, and dilemmas that refer to broader societal issues usually associated with school administrators’ utilization of the ethic of critique were also significantly left out in the narratives of this study. This paper intends to contribute to current literature by expanding research to administrators working in the context of higher education in the Philippine setting. The findings of this study could serve as knowledge base in designing ethics courses to enhance educational leaders’ ethical decision-making skills. The study also provides useful insights of ethical decisions and reasoning processes employed by academic administrators in resolving real life ethical dilemmas that could be useful at the practical level for aspiring and practicing deans. (shrink)

ABSTRACT In this paper we present a new semantic approach for propositional linear temporal logic with discrete time, strongly based in the well-order of IN (the set of natural numbers). We consider temporal connectives which express precedence, posteriority and simultaneity, and they provide a family of expressively complete temporal logics. The selection of the new semantics and connectives used in this work was principally to obtain a suitable executable temporal logic, which can be used for the specification and control of (...) process behaviour in discrete time in a similar way to thai presented by D. Gabbay in [GAB 89], Our new approach has two advantages: firstly, the connectives are defined intuitively so that they have interpretations which relate to properties of interest in real systems; secondly, it provides a new semantics that facilitates simpler proofs of many valid formulas and metatheorems. To confirm this second advantage, we use our semantics to give a formal proof of the Separation Theorem for one of these logics (specifically LN3). The great interest of this Separation Theorem for the executable temporal logic is emphasised by D. Gabbay in [GAB 89], [GAB 88]. (shrink)

This phenomenological study intends to capture and describe Filipino college deans’ lived experiences of ethical dilemmas as they carry out their work as administrators. Using semistructured in-depth interviews and following Collaizzi’s method, data was collected and subjected to cool and warm analyses yielding a set of themes and sub-themes that typify what these deans consider to be ethical dilemmas. The resulting ‘Wheel’ of School Leaders’ Ethical Dilemmas depicts the nature of the dilemmas faced by these deans, the critical incidents which (...) trigger the onset of the dilemmas, and the value conflicts that are embedded in them. This article intends to add to the growing body of research on ethical decision making in educational management, particularly on the ethical dilemmas faced by Filipino college deans. At a practical level, the findings of this study provide valuable resource to assist practicing and aspiring deans to be more adept in identifying the moral and ethical dimensions of their work as academic administrators. Finally the findings of this study could serve as a knowledge base for curriculum planners in designing ethics courses offered in educational leadership programs in the Philippines to develop academic leaders’competencies and skills in ethical decision making. (shrink)

The chapter reports on the findings of a grounded theory study on the moral sensitivity practice of Filipino college deans. It centers on the exposition of a conceptual model which expands the construct of moral sensitivity beyond the initial stage of moral problem recognition and depicts three processes of knowing facts, understanding people, and understanding oneself as fundamental processes to moral sensitivity. A set of seven distinct practices were also identified as subcomponents of moral sensitivity. The chapter concludes by highlighting (...) the level of complexity involved in moral problem identification in real-life settings and the consequent need for developing administrators’ moral sensitivity skills through formal courses in ethics as part of school administrator preparation programs. (shrink)

This book constitutes the refereed proceedings of the European Workshop on Logics in Artificial Intelligence, JELIA 2000, held in Malaga, Spain in September/October 2000. The 24 revised full papers presented together with three invited papers were carefully reviewed and selected out of 60 submissions. The papers are organized in topical sections on knowledge representation, reasoning about actions, belief revision, theorem proving, argumentation, agents, decidability and complexity, updates, and preferences.

Source: Author: Leonila C. Crisostomo, Ma. Teresa G. Generales, Amelita L. de Guzman The primary purpose of this study is to ascertain the benefits of the National Service Training Program implementation and to identify the problems encountered by its implementers. Results showed that the benefits derived from the program were topped by enhancement of skills on basic leadership with emphases on the ability to listen and ability to communicate which were rated very important and very much benefited among other training (...) aspects of the program. Results also revealed that students are aware of the importance of physical, mental and social health as well as the observance of proper hygiene for overall sense of well-being. Although recreation is one aspect that the respondents find important, appreciation of it underscores the need to have more time for assignments and projects as most of the respondents are enrolled in their respective courses with 29 units, making them unable to appreciate the perks of involving themselves into various recreational activities. Problems in the implementation showed lack of provision of materials and equipment and of budgetary allocation which rendered full implementation weak as students and faculty involved in the community immersion have to rely on their own resources, in addition to the indifference and passivity of the local government officials. Based on the findings, the researchers recommended that: the school administrators need to allocate adequate budget for materials and equipment; periodic faculty development trainings and; to look into the passive attitude of the local officials to ensure that implementation NSTP projects will benefit both clients and implementers. ]]>. (shrink)

The tree-based data structure of -tree for propositional formulas is introduced in an improved and optimised form. The -trees allow a compact representation for negation normal forms as well as for a number of reduction strategies in order to consider only those occurrences of literals which are relevant for the satisfiability of the input formula. These reduction strategies are divided into two subsets (meaning- and satisfiability-preserving transformations) and can be used to decrease the size of a negation normal form A (...) at (at most) quadratic cost. The reduction strategies are aimed at decreasing the number of required branchings and, therefore, these strategies allow to limit the size of the search space for the SAT problem. (shrink)

El objetivo del estudio se orientó a analizar el desarrollo socioemocional de niños(as) con habilidades diferentes que participaron en actividades de equinoterapia en la ciudad de Lima. La muestra del estudio, realizado con diseño fenomenológico, estuvo constituida por los padres o madres de familia que participaron en la implementación de actividades de equinoterapia y ofrecieron información de sus hijos(as) con autismo, síndrome de Down o trastorno por déficit de atención con y sin hiperactividad. El recojo de datos se utilizó un (...) cuestionario de preguntas abiertas que se enfocaron en las áreas social y emocional del desarrollo de niños(as), el cual fue administrado a 25 informantes, número que se alcanzó por saturación. Se encontró como resultado que los(as) niños(as) que participan en actividades de equinoterapia con enfoque holístico se ve favorecido su desarrollo socioemocional, referente a la relación de apego y control de emociones en el área emocional, y las relaciones. (shrink)

En el presente trabajo se pretenderá ofrecer un esbozo de lo que el malrepresenta para el budismo. Se presentará la vida de buda y el momentoen que él es tentado antes de alcanzar la iluminación, o la liberacióndel mundo de los sentidos; ya que este momento se nos presentará comoel aspecto clave para entender lo que significa el mal para la religión deGotama. Se concluirá arguyendo que el mal no es sino el mundo de lossentidos y lo que busca el (...) budismo es liberarse del sufrimiento que estemundo terrenal causa; todo esto bajo la premisa implícita de que existeun mundo más consciente, ulterior a la existencia terrena, un mundo librede mal, libre de Mara “El Tentador”. (shrink)

Digital physics claims that the entire universe is, at the very bottom, made out of bits; as a result, all physical processes are intrinsically computational. For that reason, many digital physicists go further and affirm that the universe is indeed a giant computer. The aim of this article is to make explicit the ontological assumptions underlying such a view. Our main concern is to clarify what kind of properties the universe must instantiate in order to perform computations. We analyse the (...) logical form of the two models of computation traditionally adopted in digital physics, namely, cellular automata and Turing machines. These models are computationally equivalent, but we show that they support different ontological commitments about the fundamental properties of the universe. In fact, cellular automata are compatible with a rather traditional form of physicalism, whereas Turing machines support a dualistic ontology, which could be understood as a realism about the laws of nature or, alternatively, as a kind of panpsychism. (shrink)

The standard representation of the Central Dogma (CD) of Molecular Biology conspicuously ignores metabolism. However, both the metabolites and the biochemical fluxes behind any biological phenomenon are encrypted in the DNA sequence. Metabolism constrains and even changes the information flow when the DNA‐encoded instructions conflict with the homeostasis of the biochemical network. Inspection of adaptive virulence programs and emergence of xenobiotic‐biodegradation pathways in environmental bacteria suggest that their main evolutionary drive is the expansion of their metabolic networks towards new chemical (...) landscapes rather than perpetuation and spreading of their DNA sequences. Faulty enzymatic reactions on suboptimal substrates often produce reactive oxygen species (ROS), a process that fosters DNA diversification and ultimately couples catabolism of the new chemicals to growth. All this calls for a revision of the CD in which metabolism (rather than DNA) has the leading role. (shrink)

Esta investigación tiene como objetivo determinar las diversas contribuciones formativas y de transferencia social de las orquestas universitarias, a partir de las valoraciones que realizan los participantes en esta actividad musical.El enfoque metodológico aplicado es cuantitativo y utiliza el cuestionario como técnica de recogida de información.Los resultados indican que las orquestas universitarias tienen un gran valor formativo que trasciende el ámbito educativo musical, puesto que su impacto positivo abarca también las diferentes dimensiones del ser humano y permean la sociedad. Se (...) concluye que resulta necesario mantener y promover este tipo de agrupaciones orquestales. (shrink)

Esta investigación tiene como objetivo profundizar en el conocimiento de los factores implicados y de los procesos que tienen lugar en la interpretación musical, a partir de las concepciones y el conocimiento experto de cinco intérpretes de música clásica de reconocido prestigio.El enfoque metodológico aplicado es cualitativo y utiliza la entrevista en profundidad semiestructurada como técnica de recogida de información.Los resultados obtenidos sugieren que expresividad, sonido, creatividad y carisma son cualidades necesarias en un intérprete de excelencia. Se concluye que el (...) intérprete es un constructor de discursos significantes que siempre busca establecer vínculos emocionales con su audiencia. (shrink)

Name der Zeitschrift: Semiotica Jahrgang: 2018 Heft: 220 Seiten: 173-198.

Despite that it is commonly accepted that migraine is a disorder of the nervous system with a prominent genetic basis, it is comorbid with a plethora of medical conditions. Several studies have found bidirectional comorbidity between migraine and different disorders including neurological, psychiatric, cardio- and cerebrovascular, gastrointestinal, metaboloendocrine, and immunological conditions. Each of these has its own genetic load and shares some common characteristics with migraine. The bidirectional mechanisms that are likely to underlie this extensive comorbidity between migraine and other (...) diseases are manifold. Comorbid pathologies can induce and promote thalamocortical network dysexcitability, multi-organ transient or persistent pro-inflammatory state, and disproportionate energetic needs in a variable combination, which in turn may be causative mechanisms of the activation of an ample defensive system with includes the trigeminovascular system in conjunction with the neuroendocrine hypothalamic system. This strategy is designed to maintain brain homeostasis by regulating homeostatic needs, such as normal subcortico-cortical excitability, energy balance, osmoregulation, and emotional response. In this light, the treatment of migraine should always involves a multidisciplinary approach, aimed at identifying and, if necessary, eliminating possible risk and comorbidity factors. (shrink)

We introduce the new notion of additive “multibox” for linear logic proof-nets. Thanks to this notion, we define a cut-elimination procedure which associates with every proof-net of multiplicative and additive linear logic a unique cut-free one.

Proprioception has a crucial role in promoting or hindering motor learning. In particular, an intact position sense strongly correlates with the chances of recovery after stroke. A great majority of neurological patients present both motor dysfunctions and impairments in kinesthesia, but traditional robot and virtual reality training techniques focus either in recovering motor functions or in assessing proprioceptive deficits. An open challenge is to implement effective and reliable tests and training protocols for proprioception that go beyond the mere position sense (...) evaluation and exploit the intrinsic bidirectionality of the kinesthetic sense, which refers to both sense of position and sense of movement. Modulated haptic interaction has a leading role in promoting sensorimotor integration and it is a natural way to enhance volitional effort. Therefore, we designed a preliminary clinical study to test a new proprioception-based motor training technique for augmenting kinesthetic awareness via haptic feedback. The feedback was provided by a robotic manipulandum and the test involved 7 chronic hemiparetic subjects over three weeks. The protocol included evaluation sessions, that consisted of a psychometric estimate of the subject’s kinesthetic sensation, and training sessions, in which the subject executed planar reaching movements in the absence of vision and under a minimally assistive haptic guidance made by sequences of graded force pulses. The bidirectional haptic interaction between the subject and the robot was optimally adapted to each participant in order to achieve a uniform task difficulty over the workspace. All the subjects consistently improved in the perceptual scores as a consequence of training. Moreover, they could minimize the level of haptic guidance in time. Results suggest that the proposed method is effective in enhancing kinesthetic acuity, but the level of impairment may affect the ability of subjects to retain their improvement in time. (shrink)

Obras escogidas/M. Sánchez-Mazas. - v.1.

Se analiza la apuesta ontológica de Arturo Escobar a partir de dos formas en las que esta se expresa, para vislumbrar los alcances y limitaciones de esta concepción ontológica. La primera concepción radica en lo que el autor denomina ontología relacional y la segunda versa en la llamada ontología política. El texto está dividido en cuatro apartados, el primero introduce al lector a lo que representa la pregunta por el ser, haciendo hincapié en Martin Heidegger. El segundo expone brevemente el (...) contexto que se puede evidenciar en la apuesta académica del antropólogo colombiano a través del giro ontológico, desarrollado desde la antropología, en el que se destaca una crítica al paradigma occidental dualista naturaleza/cultura y, a su vez, de la teoría decolonial que denuncia a la Modernidad y la vigencia de la colonialidad de ser, para así poder comprender la propuesta de la ontología relacional de Escobar. El tercer apartado expresa desde las categorías de territorio y pluriverso una premisa fundamental: pensar lo político presupone una ontología, es decir, una visión de mundo sobre lo que es y está, de esta manera se articula el proyecto de la ontología desde la relacionalidad con luchas que reivindican los mundos y los derechos de las comunidades; en el cuarto y último apartado se exponen los alcances y límites de la ontología de Escobar, así como caminos posibles para considerar en investigaciones futuras. (shrink)

The dream of Leibniz and that of Frege, to create a lingua characteristica in order to demonstrate conceptual thought, incorporates in a wider process, the division and tension between the distinct Spheres which the human sub-species have been creating. Spheres which remain hidden by natural language, essentially spoken language. For the creation and demonstration of the Conceptual Sphere the establishing of a language of characteres has become indispensable, essentially written language. Is a consequence a tension is established between Natural language-Formal (...) language with their corresponding reductionist tendences. (shrink)